Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
531	Edward N. Zalta A Philosophical Conception of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:09:17 Philosophical logic Philosophy of language Logical syntax Proposition Entailment Interpretation Modal logic Function Formal semantics Logic Propositional calculus Semantics
532	Abstract Interpretation Using Laziness: Proving Conway’s Lost Cosmological Theorem Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-14 13:01:57 Combinatorics Logical syntax Combinatorics on words Mathematical logic Formal proof Logical truth Theorem Mathematical proof Haskell Logic Mathematics Formal languages
533	Finding Endogenously Formed Communities Maria-Florina Balcan∗ Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2012-10-04 11:36:25 Logical consequence Logical syntax Metalogic Ordinal arithmetic Curry–Howard correspondence Logic Deduction Entailment
534	Finite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep connections have emerged between finite model theory and various areas in combi Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:01 Model theory Finite model theory Computational complexity theory Metalogic Logical syntax Second-order logic FO Descriptive complexity theory First-order logic Logic Mathematical logic Mathematics
535	Intervention Effects as NPI Licensing Intervention Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:00 Syntax Semantics Polarity item Boolean algebra Negation Wh-movement Logical connective Well-formed formula Quantification Logic Linguistics Grammar
536	Microsoft Word - wccfl2010_fortin_we need lf copying_fixed formatti Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:58 Noam Chomsky English grammar Sluicing Ellipsis Grammar Verb phrase ellipsis Gapping Wh-movement Logical Form Linguistics Syntax Generative linguistics
537	An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-30 15:47:08 Mathematical proofs Proof theory Mathematical constructivism Logical syntax Well-quasi-ordering Bar induction Mathematical induction Well-formed formula Constructive proof Logic Mathematics Mathematical logic
538	xiii Preface About the fourth edition In this fourth edition there are few substantial additions of new material, Add to Reading List Source URL: diestel-graph-theory.com Language: English - Date: 2013-08-10 17:09:25 Logical syntax Philosophical logic Philosophy of language Theorems Mathematical proof Hamiltonian path Mathematics Logic Mathematical logic
539	Attributive Wrong Bernhard Schwarz McGill University 1. Non-local modification In well-behaved cases of adjectival modification, the adjective-noun sequence describes a firstorder property whose content is fully determin Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:28 Grammar Parts of speech Semantics Philosophy of language Logical syntax Ellipsis Entailment Preposition and postposition Proposition Linguistics Logic Syntax
540	Model Checking Games for Branching Time Logics Martin Lange and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:55:06 Logical syntax Metalogic Mathematical logic Propositional calculus Interpretation Well-formed formula Entailment Symbol Partition Logic Mathematics Formal languages

UPDATE